82.3K
Publications
4.5M
Citations
100.6K
Authors
8.2K
Institutions
Top Authors in Formal Verification
Discover the leading researchers and scholars who have made significant contributions to Formal Verification. The statistics shown in this table are calculated from publications relevant to this concept and reflect each author's impact within this specific field of study, not their overall metrics.
| Publications | Citations | H-Index | |
|---|---|---|---|
MD University of Washington | 99 | 11.6K | 55 |
TA University of California, Berkeley | 111 | 20.3K | 52 |
RA University of Pennsylvania | 85 | 21K | 49 |
AA Stanford University | 94 | 8.4K | 48 |
MR Massachusetts Institute of Technology | 89 | 8.4K | 47 |
ZS University of California, Davis | 86 | 8.5K | 47 |
EB Purdue University West Lafayette | 126 | 8.6K | 47 |
SD Massachusetts Institute of Technology | 103 | 13K | 47 |
AS University of California, Berkeley | 141 | 9.7K | 47 |
MY Rice University | 116 | 9K | 45 |
CF Microsoft Research (United Kingdom) | 74 | 7K | 45 |
SR University of Iowa | 169 | 7.5K | 45 |
Page 1
Page 1